package main

const (
	SEP   = ":"
	PRE   = "precondition"
	POST  = "postcondition"
	IN    = "invariant"
	PANIC = "panic"
	//name of file that format_include.go's output is dumped in
	INCLUDE = "dbgo_.go"
)
